System JLZ - rational default reasoning by minimal ranking constructions
نویسنده
چکیده
We present a powerful quasi-probabilistic default formalism for graded defaults based on a well-motivated canonical ranking construction procedure, System JLZ. It implements the minimal construction paradigm and verifies the major inference principles and inheritance desiderata, including rational monotony for propositions and structured cumulativity for default conditionals. With help from a structured ranking semantics for defaults, it also avoids some drawbacks of semi-qualitative entropy maximization and other competing accounts.
منابع مشابه
Ranking Revision with Conditional Knowledge Bases
We introduce a new model for belief dynamics where the belief states are ranking measures and the informational inputs are finite sets of parametrized conditionals interpreted by ranking constraints. The approach is inspired by the minimal information paradigm and generalizes ranking construction strategies developed for default reasoning. We show its handling of principles for conditional and ...
متن کاملAxiomatization of Credulous Reasoning in Rational Default Logic
Nonmonotonic reasoning is succesfully formalized by the class of default logics. In this paper we introduce an axiomatic system for credulous reasoning in rational default logic. Based on classical sequent calculus and anti-sequent calculus, an abstract characterization of credulous nonmonotonic default inference in this variant of default logic is presented.
متن کاملDarr – a Theorem Prover for Constrained and Rational Default Logics
Default logics represent an important class of the nonmonotonic formalisms. Using simple by powerful inference rules, called defaults, these logic systems model reasoning patterns of the form ”in the absence of information to the contrary of. . . ”, and thus formalize the default reasoning, a special type of nonmonotonic reasoning. In this paper we propose an automated system, called DARR, with...
متن کاملSemantics for Constrained and Rational Default Logics
The default nonmonotonic reasoning was formalised by a class of logical systems: default logics (classical, justified, constrained, rational), based on the same syntax which utilises nonmonotonic inference rules: defaults, but with different semantics for the defaults. In this paper we introduce a uniform semantic characterisation for the constrained and rational extensions of a default theory....
متن کاملStratification: The Computational Base of a System for Default Reasoning
Default reasoning is computationally expensive. One of the most promising ways of easing this problem and developing powerful implementations is to split a default theory into smaller parts and compute extensions in a modular, \local" way. Up to now this idea was only followed for Reiter's default logic, yet it is also relevant to other variants of default logic which have found increasing reco...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Applied Logic
دوره 1 شماره
صفحات -
تاریخ انتشار 2003